<{1,3}, 1>Xa